Article 6115

Title of the article

ABSTRACT AND STRUCTURAL SYNTHESIS OF DISTRIBUTED SYSTEMS OF DATA
PROCESSING ON THE BASIS OF THE MULTIPARADIGM APPROACH 

Authors

Volchikhin Vladimir Ivanovich, Doctor of engineering sciences, professor, President of Penza State University (40 Krasnaya street, Penza, Russia), cnit@pnzgu.ru
Dubravin Aleksey Viktorovich, Senior lecturer, sub-department of computer engineering, Penza State University (40 Krasnaya street, Penza, Russia), radamsa@yandex.ru
Zinkin Sergey Aleksandrovich, Doctor of engineering sciences, professor, sub-department of computer engineering, Penza State University (40 Krasnaya street, Penza, Russia), zsa49@yandex.ru

Index UDK

681.324

Abstract

Background. The research object is the distributed systems of data processing, the functioning of which is based on new principles called paradigms in the article. The research subject is the problems of abstract and structural design of distributed network applications on the basis of the logic-algebraic approach and some methods of artificial intelligence. The aim of the works is to improve the design methods of distributed applications on the basis of conceptual, logical and logic-algebraic models, forming the base of a new hybrid technology of distributed programming.
Results. The main result of the study is that the suggested methods allow to develop distributed application for data processing, corresponding to a certain formal specification. For realization of distributed application of data processing the authors chose the methods that require no special syntactical primitive elements at organizing parallelism in distributed systems. Description and support of parallelism in distributed systems is provided by the means, realized on the basis of the transition from primary conceptual representations of the processes, based on the rules of output and conceptual graphs, to the direct programming through the direct use of logic-algebraic expressions in the form of formalized specifications.
Conсlusions. Comparison of descriptive potentials of two models of distributed calculations allowed to conclude that the new hybrid model of distributed date processing to a large extent corresponds to a network environment and differs from the existing ones by the fact that the transfer of control is executed by transmission of messages through the network infocommunicative environment, and functional links are realized through the structured virtual memeory space, which in many cases accelerates data processing. The authors suggested new conceptual, logical and logic-algebraic models of distributed calculations in systems with hybrid architecture that differ from the existing ones by its’ relation to the class of the directly executed (realized) ones, the application of which allows to lower labor expenditures in the process of distributed network application creation.

Key words

distributed data processing, conceptual, logical and logic-algebraic models, multiparadigm approach, virtual space, control and functional intermodule links.

Download PDF
References

1. Kh'yuz K., Kh'yuz T. Parallel'noe i raspredelennoe programmirovanie na C++ [Parallel and distributed C++ programming]. Moscow: Vil'yams, 2004, 672 p.
2. Tanenbaum E., M. van Steen Raspredelennye sistemy. Printsipy i paradigmy [Distributed systems. Principles and paradigms]. Saint-Petersburg: Piter, 2003, 877 p.
3. Lomakina L. S., Bazin A. S., Vigura A. N., Kiselev A. V. Teoriya i praktika strukturnogo testirovaniya programmnykh sistem [Theory and practice of structural testing of program systems]. Voronezh: Nauchnaya kniga, 2013, 220 p.
4. Plesnevich G. S. Iskusstvennyy intellekt: spravochnik: v 3-kh kn. Kn. 2. Modeli i metody [Artificial intelligence: reference book: in 3 books. Book 2. Models and methods]. Moscow: Radio i svyaz', 1990, pp. 14–28.
5. Kurganskiy V. I. Sistemy upravleniya i informatsionnye tekhnologii [Control systems and information technologies]. 2006, no. 3.1 (25), pp. 139–144.
6. Kotov V. E. Seti Petri [Petri nets]. Moscow: Nauka, 1984, 160 p.
7. Piterson Dzh. Teoriya setey Petri i modelirovanie sistem [Theory of Petri nets and system modeling]. Moscow: Mir, 1984, 264 p.
8. Kulagin V. P. Modelirovanie struktur parallel'nykh VS na osnove setevykh modeley [Modeling of parallel computing systems’ structures on the basis of network modeling]. Moscow: MIEM, 1998, 102 p.
9. Kapitonova Yu. V., Letichevskiy A. A. Matematicheskaya teoriya proektirovaniya vychislitel'nykh sistem [Mathematical theory of computing system design]. Moscow: Nauka, 1988, 296 p.
10. Glushkov V. M., Tseytlin G. E., Yushchenko E. L. Metody simvol'noy mul'tiobrabotki
[Methods of symbol multiprocessing]. Kiev: Naukova dumka, 1980, 252 p.
11. Barnett M., Börger E., Gurevich Y., Schulte W., Veanes M. Abstract State Machines: Theory and Apps. Springer LNCS, 2000, pp. 367–380.
12. Gurevich Y., Soparkar N., Wallace C. Journal of Universal Computer Science. 1997, vol. 3, no.4,pp.320–340.
13. Hoare C. A. R. Commun. ACM. 1978, vol. 21, no. 8, pp. 666–677.
14. Aleshina N. A., Anisov A. M., Bystrov P. I. Logika i komp'yuter. Modelirovanie rassuzhdeniy i proverka pravil'nosti programm [Logic and computer. Modeling of reasoning and program verification]. Moscow: Nauka,1990, 240 p.
15. Zinkin S. A. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Tekhnicheskie nauki [University proceedings. Volga region. Engineering sciences]. 2007, no. 3, pp. 13–22.
16. Zinkin S. A. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Tekhnicheskie nauki [University proceedings. Volga region. Engineering sciences]. 2007, no. 4, pp. 37–50.
17. Gelernter D. ACM Computing Surveys. 1985, vol. 7, pp. 80–112.
18. Ahuja S., Carriero N., Gelernter D. IEEE Computer. 1986, vol. 7.19 (8), pp. 26–34.
19. Scientific Computing Associates, Inc. Available at: http://www.lindaspaces.com. (accessed 4 April 2015).
20. Kotov V. E., Sabel'fel'd V. K. Teoriya skhem programm [Theory of program schemes]. Moscow: Nauka,1991, 248 p.
21. Val'kovskiy V. A., Kotov V. E., Marchuk A. G., Mirenkov N. N. Elementy parallel'nogo programmirovaniya [Elements of parallel programming]. Moscow: Radio i svyaz', 1983, 240 p.
22. Lavrov S. S. Programmirovanie. Matematicheskie osnovy, sredstva, teoriya [Programming. Mathematical foundations, means, theory]. Saint-Petersburg: BKhV-Peterburg, 2001, 320 p.
23. Deytel Kh. M., Deytel P. Dzh., Santri S. I. Tekhnologiya programmirovaniya na Java 2. Kn. 2. Raspredelennye prilozheniya [Java 2 programming technology. Book 2. Distribution of applications]. Moscow: Binom-Press, 2003, 464 p.
24. Wyckoff P. IBM System Journal. 1998, vol. 37, pp. 454–474.
25. Dubravin A. V., Zinkin S. A. Universitetskoe obrazovanie (MKUO-2015): sb. st. XIX Mezhdunar. nauch.-metod. konf. [University education: collected articles of XIX International scientific and methodological conference]. Penza: Izd-vo PGU, 2015, vol. 1, pp. 222–225.
26. Dubravin A. V., Zinkin S. A. Universitetskoe obrazovanie (MKUO-2015): sb. st. XIX Mezhdunar. nauch.-metod. konf. [University education: collected articles of XIX International scientific and methodological conference]. Penza: Izd-vo PGU, 2015, vol. 1, pp. 225–228.

 

Дата создания: 30.06.2015 13:21
Дата обновления: 03.07.2015 14:57